Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
461	[removed]Problems A problem (in Computer Science) specifies an input/output relationship, P  I  O. Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:15 Models of computation FO Finite model theory Computability theory Formal methods P Time complexity Finite-state machine Turing machine Theoretical computer science Applied mathematics Complexity classes
462	Splitting and Nonsplitting in the Σ02 Enumeration Degrees∗ M. M. Arslanov1 , S. B. Cooper2 , I. Sh. Kalimullin1 Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2009-10-12 05:07:37 Mathematical logic Symbol Logic Computable function Structure Model theory Busy beaver Spinor Theory of computation Mathematics Computability theory
463	A Network Model of Analogue Computation over Metric Algebras John V. Tucker1 and Jeﬀery I. Zucker2, Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2005-05-24 06:44:34 Continuous function Sheaf Algebraic topology Mathematics Calculus
464	Information and Computation[removed]–19 www.elsevier.com/locate/ic DP lower bounds for equivalence-checking and model-checking of one-counter automataୋ Petr Janˇcar,a,1 Antonín Kuˇcera,b,1 Faron Moller,c,∗ a Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2003-12-16 10:28:26 Models of computation FO Finite model theory If and only if Logical connective Automata theory Interpretation Conjunctive normal form Petri net Mathematics Theoretical computer science Logic
465	A Model of Computation for MapReduce Howard Karloff∗ Siddharth Suri† Abstract Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2009-10-14 18:04:56 Distributed computing architecture MapReduce Parallel computing Analysis of algorithms Computational complexity theory Time complexity Algorithm Apache Hadoop SL Theoretical computer science Computing Applied mathematics
466	A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++ Rose H. Abdul Rauf∗, Ulrich Berger, Anton Setzer‡† November 9, 2006 Abstract Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2007-02-18 18:49:57 Lambda calculus Models of computation Subroutines Logic in computer science Programming language semantics Denotational semantics Simply typed lambda calculus Higher-order function Type system Software engineering Theoretical computer science Mathematics
467	Applying automata and games to simply typed lambda calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-02-25 10:42:23 Computer science Models of computation Formal methods Model checking Simply typed lambda calculus Lambda calculus Finite-state machine Model theory ALGOL Theory of computation Theoretical computer science Automata theory
468	Bisimulation and Language Equivalence Colin Stirling Division of Informatics University of Edinburgh email: [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:51:25 Mathematics Theoretical computer science Bisimulation Logic in computer science Models of computation Philosophical logic Interpretation First-order logic Structure Logic Mathematical logic Model theory
469	The Joys of Bisimulation Colin Stirling Department of Computer Science, University of Edinburgh, Edinburgh EH9 3JZ, UK, email: [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:00:26 Models of computation Theoretical computer science Model theory Logic in computer science Philosophical logic Bisimulation F-coalgebra Modal logic First-order logic Logic Mathematical logic Mathematics
470	An introduction to deciding higher-order matching Colin Stirling [removed] LFCS School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 09:12:38 Computer science Automata theory Formal methods Model checking Simply typed lambda calculus Model theory Finite-state machine Mathematical logic Lambda calculus Models of computation Theoretical computer science Theory of computation

UPDATE